any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
کسی بھی منطقی نظام کو جو استحکام اور صداقت کے خلاصہ معیار کو قائم کرنے کے لئے ان کے مواد سے دور بیانات کی شکل کو خلاصہ کرتی ہے.